|
| 1: |
|
and(true,X) |
→ activate(X) |
| 2: |
|
and(false,Y) |
→ false |
| 3: |
|
if(true,X,Y) |
→ activate(X) |
| 4: |
|
if(false,X,Y) |
→ activate(Y) |
| 5: |
|
add(0,X) |
→ activate(X) |
| 6: |
|
add(s(X),Y) |
→ s(n__add(activate(X),activate(Y))) |
| 7: |
|
first(0,X) |
→ nil |
| 8: |
|
first(s(X),cons(Y,Z)) |
→ cons(activate(Y),n__first(activate(X),activate(Z))) |
| 9: |
|
from(X) |
→ cons(activate(X),n__from(n__s(activate(X)))) |
| 10: |
|
add(X1,X2) |
→ n__add(X1,X2) |
| 11: |
|
first(X1,X2) |
→ n__first(X1,X2) |
| 12: |
|
from(X) |
→ n__from(X) |
| 13: |
|
s(X) |
→ n__s(X) |
| 14: |
|
activate(n__add(X1,X2)) |
→ add(activate(X1),X2) |
| 15: |
|
activate(n__first(X1,X2)) |
→ first(activate(X1),activate(X2)) |
| 16: |
|
activate(n__from(X)) |
→ from(X) |
| 17: |
|
activate(n__s(X)) |
→ s(X) |
| 18: |
|
activate(X) |
→ X |
|
There are 18 dependency pairs: